Modal Logi and the two - variable

A Differential Transform Approach for Modal Analysis of Variable Thickness Two-directional FGM Circular Plates on Elastic Foundations

Based on the differential transformation method, a semi-analytical solution is developed for free vibration and modal stress analyses of variable thickness two-directional functionally graded circular plates with restrained edges, resting on elastic foundations. Variations of the material and geometry parameters are monitored by five distinct exponential functions. The presented non-dimensional...

Combining Dynami Logi with Doxasti Modal Logi

On First Order Logi of Proofs

The Logi of Proofs LP solved a long standing Godel's problem onerning his provability al ulus ( f. [4℄). It also opened new lines of resear h in proof theory, modal logi , typed programming languages, knowledge representation, et . The propositional logi of proofs is de idable and admits a omplete axiomatization. In this paper we show that the rst order logi of proofs is not re ursively axioma...

Modal Specifications of Trace-Based Security Properties

We introdu e a multi-modal logi that ombines omplementary features of authenti ation logi s and tra e-based approa hes. Our logi ontains two kinds of modalities: impli it belief, whi h formalizes the view of an external agent reasoning about interleaved proto ol exe utions, and expli it belief, whi h uses awareness to model the resour e-bounded reasoning of the agents involved in the exe utions...

Epistemi Logi : A Survey

Epistemi logi is the logi of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine ard? Is it harmful if, at a literature-exam you don't know the ontents of a hapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly plays his ...